mathematical proof - French English Dictionary